Integral of pi*sin(pi*x)